(0 13 1)(2 19 17)(3 10 7)(4 20 6)(5 16 9)(8 14 11)(12 18 15)
ALLOWS (11/8)-SEQUENCE
1: (5 9 16)
(0 13 1)(2 19 17)(3 10 7)(4 20 6)(5 9 16)(8 14 11)(12 18 15)
2: (3 10 7)
(0 13 1)(2 19 17)(3)(4 20 6)(5 9 16)(7)(8 14 11)(10)(12 18 15)
3: (5 9 16)
(0 13 1)(2 19 17)(3)(4 20 6)(5)(7)(8 14 11)(9)(10)(12 18 15)(16)
4: (4 20 6)
(0 13 1)(2 19 17)(3)(4)(5)(6)(7)(8 14 11)(9)(10)(12 18 15)(16)(20)